package abs

class Food {

}

abstract class Animal {
    // 抽象类型 Food子类
    type SuitableFood <: Food

    def eat(food: SuitableFood)
}
